Tight Approximation Algorithms for Maximum Separable Assignment Problems

A separable assignment problem (SAP) is defined by a set of bins and a set of items to pack in each bin; a value, fij , for assigning item j to bin i; and a separate packing constraint for each bin—i.e., for each bin, a family of subsets of items that fit in to that bin. The goal is to pack items into bins to maximize the aggregate value. This class of problems includes the maximum generalized assignment problem (GAP) and a distributed caching problem (DCP) described in this paper. Given a ‚-approximation algorithm for finding the highest value packing of a single bin, we give (i) A polynomial-time LP-rounding based 441 − 1/e5‚5-approximation algorithm. (ii) A simple polynomial-time local search 4‚/4‚+ 15− …5-approximation algorithm, for any … > 0. Therefore, for all examples of SAP that admit an approximation scheme for the single-bin problem, we obtain an LP-based algorithm with 41−1/e−…5-approximation and a local search algorithm with 4 1 2 −…5-approximation guarantee. Furthermore, for cases in which the subproblem admits a fully polynomial approximation scheme (such as for GAP), the LP-based algorithm analysis can be strengthened to give a guarantee of 1 − 1/e. The best previously known approximation algorithm for GAP is a 1 2 -approximation by Shmoys and Tardos and Chekuri and Khanna. Our LP algorithm is based on rounding a new linear programming relaxation, with a provably better integrality gap. To complement these results, we show that SAP and DCP cannot be approximated within a factor better than 1 − 1/e unless NP⊆ DTIME4n 5, even if there exists a polynomial-time exact algorithm for the single-bin problem. We extend the 41−1/e5-approximation algorithm to a constant-factor approximation algorithms for a nonseparable assignment problem with applications in maximizing revenue for budget-constrained combinatorial auctions and the AdWords assignment problem. We generalize the local search algorithm to yield a 1 2 − … approximation algorithm for the maximum k-median problem with hard capacities.